A PARALLEL HETERARCHICAL MACHINE FOR HIGH LEVEL LANGUAGE PROCESSINGGUZMAN A.1981; INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING/1981/BELLAIRE OH; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1981; PP. 64-71; BIBL. 14 REF.Conference Paper

A FORMAL SYSTEM FOR PARALLEL PROGRAMS IN DISCRETE TIME AND SPACEKAWAI H.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 156-165; BIBL. 15 REF.Conference Paper

EINE IMPLEMENTATION DES MONITORKONZEPTES = UNE IMPLEMENTATION D'UNE CONCEPTION DE MONITEURGERSTENBERGER M.1982; WISSENSCHAFT. Z. TECH. HOCHSCH. KARL-MARX-STADT.; ISSN 0372-7610; DDR; DA. 1982; VOL. 24; NO 3; PP. 277-283; BIBL. 9 REF.Article

DESIGN AND DEVELOPMENT OF CONCURRENT PROGRAMSJULLIAND J; PERRIN GR.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 111; PP. 464-479; BIBL. 14 REF.Conference Paper

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGICCLARKE EM; EMERSON EA.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 52-71; BIBL. 18 REF.Conference Paper

PROOF RULES DEALING WITH FAIRNESSAPT K; OLDEROG ER.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 1-8; BIBL. 3 REF.Conference Paper

RECURSIVE ASSERTIONS AND PARALLEL PROGRAMSAPT KR.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 3; PP. 219-232; BIBL. 8 REF.Article

TEMPORAL LOGIC CAN BE MORE EXPRESSIVEWOLPER P.1981; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 22/1981/NASHVILLE TN; USA; NEW YORK: INSTITUTE OF ELECTRICAL & ELECTRONICS ENGINEERS; DA. 1981; PP. 340-348; BIBL. 11 REF.Conference Paper

PROOF OF A CONCURRENT PROGRAM FINDING EULER PATHSBEST E.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 142-153; BIBL. 6 REF.Conference Paper

RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSESGUERREIRO P.1980; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1980; NO 200; 19 P.; ABS. FRE; BIBL. 2 P.Serial Issue

SIMUL 4, EIN SIMULATOR ZUM ENTWICKELN UND TESTEN VON SMS-PARALLELRECHNERPROGRAMMEN = SIMUL 4: UN SIMULATEUR POUR DEVELOPPER ET TESTER LES PROGRAMMES PARALLELES SMSHORNEBER EH.1980; SIEMENS FORSCH.- U. ENTWICKL.-BER.; DEU; DA. 1980; VOL. 9; NO 1; PP. 8-10; BIBL. 8 REF.Article

ARE INFINITE BEHAVIOURS OF PARALLEL SYSTEM SCHEMATA NECESSARY.CZAJA L.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 108-117; BIBL. 4 REF.Conference Paper

LARGE SCALE SCIENTIFIC COMPUTING: FUTURE DIRECTIONSPATTERSON GS JR.1982; COMPUT. PHYS. COMMUN.; ISSN 0010-4655; NLD; DA. 1982; VOL. 26; NO 3-4; PP. 217-225; BIBL. 17 REF.Conference Paper

POINTER VARIABLES IN CONCURRENT PASCALRAVN AP.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 3; PP. 211-222; BIBL. 10 REF.Article

VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGICHAILPERN BT.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; NO 129; PP. 1-208; BIBL. 49 REF.Article

LIVELOCKS IN PARALLEL PROGRAMSKWONG YS.1981; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1981; VOL. 10; NO 2; PP. 121-135; BIBL. 14 REF.Article

SYNTHESIS OF COMMUNICATING PROCESSES FROM TEMPORAL LOGIC SPECIFICATIONSMANNA Z; WOLPER P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 253-281; BIBL. 14 REF.Conference Paper

ANALYTICAL MODELS TO EXPLAIN ANOMALOUS BEHAVIOR OF PARALLEL ALGORITHMSWEIDE BW.1981; INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING/1981/BELLAIRE OH; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1981; PP. 183-187; BIBL. 10 REF.Conference Paper

MODULAR VERIFICATION OF CONCURRENT PROGRAMSHAILPERN B; OWICKI S.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 322-336; BIBL. 33 REF.Conference Paper

CRITICAL REMARKS ON MASE MODEL OF CONCURRENCYSALWICKI A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 397-405; BIBL. 20 REF.Conference Paper

GENERAL MICROPROGRAM WIDTH REDUCTION USING GENERATOR SETSMARTINEZ CARBALLIDO JF; POWERS VM.1981; MICRO 14. ANNUAL MICROPROGRAMMING WORKSHOP. 14/1981-10-12/CHATHAM MA; USA; NEW YORK: IEEE; DA. 1981; PP. 144-153; BIBL. 16 REF.Conference Paper

ORDERED FIRING IN PETRI NETSBURKHARD HD.1981; ELEKTRON. INFORMATIONSVERARB. KYBERN.; ISSN 0013-5712; DDR; DA. 1981; VOL. 17; NO 2-3; PP. 71-86; ABS. GER/RUS; BIBL. 9 REF.Article

PARALLEL PROGRAMS: PROOFS, PRINCIPLES, AND PRACTICEANDREWS GR.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 3; PP. 140-146; BIBL. 44 REF.Article

"SOMETIME" IS SOMETINES "NOT NEVER": ON THE TEMPORAL LOGIC OF PROGRAMSLAMPORT L.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 174-185; BIBL. 18 REF.Conference Paper

Visualizing the performance of SPMD and data-parallel programsROVER, D. T; WRIGHT, C. T.Journal of parallel and distributed computing (Print). 1993, Vol 18, Num 2, pp 129-146, issn 0743-7315Article